title: |
author: - Clovis Deletre - Charles Vitry date: output: html_notebook: theme: cerulean number_sections: no toc: yes toc_float: true editor_options: markdown: wrap: 72



Introduction

Nous souhaitons réalisé l’étude d’une série temporelle et faire des prévisions sur celle-ci.

Cette série temporelle est le trafic mensuel d’une Compagnie aérienne de janvier 2011 à août 2019.

Nos prévisions portent sur les 8 mois de l’année 2019

Représentation graphique de la série.

Import des données

Import de la base, on sélectionne la colonne des valeurs

library(readr)
data <- read_delim("Trafic-voyageurs.csv", 
    delim = ";", locale = locale(encoding = "ISO-8859-1"))
Rows: 104 Columns: 2
-- Column specification -----------------------------------------------------------------------------------------------------------------------------------------
Delimiter: ";"
chr (1): dates
dbl (1): trafic

i Use `spec()` to retrieve the full column specification for this data.
i Specify the column types or set `show_col_types = FALSE` to quiet this message.
summary(data)
    dates               trafic      
 Length:104         Min.   :220876  
 Class :character   1st Qu.:297154  
 Mode  :character   Median :355178  
                    Mean   :354651  
                    3rd Qu.:407331  
                    Max.   :505190  
data_value <- data[,2]

Affichage

Création de la série chronologique :

library(TSstudio)
data_ts <- ts(data_value, start=2011, frequency=12)
plot_1_TimeSeries(data_ts)
Registered S3 method overwritten by 'data.table':
  method           from
  print.data.table     
Registered S3 methods overwritten by 'htmltools':
  method               from         
  print.html           tools:rstudio
  print.shiny.tag      tools:rstudio
  print.shiny.tag.list tools:rstudio
Registered S3 method overwritten by 'htmlwidgets':
  method           from         
  print.htmlwidget tools:rstudio

Attachement du package : ‘plotly’

L'objet suivant est masqué depuis ‘package:ggplot2’:

    last_plot

L'objet suivant est masqué depuis ‘package:stats’:

    filter

L'objet suivant est masqué depuis ‘package:graphics’:

    layout

Séparation jeu de données

#revoir l affichage car ca prend pas en compte tt 2019
data_ts_train <- window(data_ts, start = c(2011, 1), end = c(2018,12))
data_ts_test <- window(data_ts, start= c(2019,1), end = c(2019,8))

plot(data_ts, xlim=c(2011,2020))
lines(data_ts_test, col=3)
legend("topleft", lty = 1, col=c(1,3), legend=c("Série chronologique Train", "Série chronologique Test"))

-> strong trend -> patern qui se repete, saisonnalité ?

Représentation de la saisonnalité

Analyse de la saisonnalité en superposant chaque année (par mois):

-> en supprimant la tendance on voit bien la saisonnalité => saisonnalité régulière

ggseasonplot(data_ts)

data_ts_without_trend = diff(data_ts)
ggseasonplot(data_ts_without_trend)

Représentation des décompositions possibles

DECOMPOSITION : additive / Multiplicative Ts = Trend + Seasonal + Random / Ts = Trend * Seasonal * Random

decomposed_data <- decompose(data_ts_train, type="additive")
plot(decomposed_data$trend)

plot(decomposed_data$seasonal)

plot(decomposed_data$random)


boxplot(data_ts ~ cycle(data_ts))

-> on distingue des saisonnalités => faire régression ca n’a pas de sens => modèle de Buys Ballot

-> bonne repartition du bruit -> quelques outliers

checkresiduals(remainder(decomposed_data))
Warning in modeldf.default(object) :
  Could not find appropriate degrees of freedom for this model.

On a tendances + saisonnalité

Modèles espace-état

  • meanf : Average Method : prend la valeur moyenne de toute les observations pour toutes les prédictions,
  • naive : Naive Method : prend la dernière observation pour toutes les prédictions,
  • drift : Drift Method : prend la première et la dernière observations et trace une lignes entre les deux, on utilise la courbe pour les prédictions,
  • snaive : Seasonal Naive Forecast : Prend la dernière valeur de la saison précédente comme prédiction (ex : sept 2018 = sep 2019 + erreur)
library(forecast)
mean <- meanf(data_ts_train, h=8)
naivem <- naive(data_ts_train, h=8)
driftm <- rwf(data_ts_train, h=8, drif=T)
snaivem <- snaive(data_ts_train, h=8)
plot(mean, plot.conf = F, main="")
lines(naivem$mean, col=2, lty=1)
lines(driftm$mean, col=5, lty=1)
lines(snaivem$mean, col = 4, lty=1)
legend("topleft", lty=1, col=c(1,2,3,4), legend=c("Mean Method", "Naive Method", "Drif Method", "Seasonal Naive"))


#comparaison :
plot(snaivem, plot.conf = F, main="")
lines(data_ts_test, col = 6, lty=1, lwd=3)

plot(driftm, plot.conf = F, main="")
lines(data_ts_test, col = 6, lty=1, lwd=3)
On regarde : MAE : Mean Absolute Error : RMSE : Root Mean Squarred Error

MASE : Mean Absolute Scaled Error : MAPE : Mean Absolute Percentage Error :

res = pred - val MAE = sum(abs(res))/length(val) RSS = sum(res^2) MSE = RSS/length(val) RMSE = sqrt(MSE)

La plus populaire est la MAPE

MAPE(y_pred, y_true)

$MAPE = (1/n) * Σ(|actual – forecast| / |actu0al|) * 10

“a MAPE value of 6% means that the average difference between the forecasted value and the actual value is 6%”

print(summary(mean))
checkresiduals(mean)
accuracy(mean, data_ts_test)
print(summary(naivem))
checkresiduals(naivem)
accuracy(naivem, data_ts_test)
print(summary(driftm))
checkresiduals(driftm)
accuracy(driftm, data_ts_test)
print(summary(snaivem))
checkresiduals(snaivem)
accuracy(snaivem, data_ts_test)

Etude du Modèle de Buys-Ballot

Modèle

https://mpra.ub.uni-muenchen.de/77718/1/MPRA_paper_77718.pdf page 175

L’approche de BUYS-BALLOT consiste à introduire des variables indicatrices correspondant à chaque saison définit par le cycle d’observation. Pour les données trimestrielles, on intègre 4 variables indicatrices. Et pour les données mensuelles, on intègre 12 variables indicatrices.

Le modèle doit alors être estimé (sans constante) avec ces variables indicatrices.

Prédiction des valeurs de 2019

Préparation des données.

Annees=time(data_ts_train)
ts_DataFrame =data.frame(trafic=data_ts_train,X=as.numeric(Annees))

Création du modèle

Regression <- lm(trafic~X,data = ts_DataFrame)

\(Xt = Zt + St + \mu t\)

La tendance Prédiction sur les données futurs.

tendance=predict(Regression)
Annees=as.numeric(Annees)
AnneeMoisNumeric=seq(max(Annees)+1/12,length=36,by=1/12)  
tendance2=predict(Regression, newdata=data.frame(X=AnneeMoisNumeric)) 
ts_DataFrame$trafic_residual <- residuals(Regression)

Définissons le mois

ts_DataFrame$mois <- round(ts_DataFrame$X - trunc(ts_DataFrame$X),digit=4)

Création du 2nd modèle avec les mois

Regression2 =lm(trafic_residual~0+as.factor(mois),data=ts_DataFrame)

Prédiction de la saisonnalité

prediction2 =predict(Regression2)

Prédiction sur les mois

MoisNumeric= round(AnneeMoisNumeric - trunc(AnneeMoisNumeric
                     ),4)
Prediction3 =predict( Regression2, newdata= data.frame(mois=MoisNumeric))

Calculons une région de confiance avec l’erreur d’ajustement

ResidusRegression2=residuals(Regression2)
hist(ResidusRegression2)

1.96*sqrt(var(ResidusRegression2))
[1] 19226.16

Le bruit est-il auto corrélé ?

plot(acf(ResidusRegression2))

Affichage de la tendance

Buys_ballot_plot_tendance <- plot(data_ts,
                         main = "Application du modèle de Buys_Ballot",
                         xlab = "Années",
                         ylab = "Nombre de Voyageurs") 

#droite de tendance
lines(Annees,tendance,col="blue",lwd=2)  

#prédiction de la tendance futur
lines(AnneeMoisNumeric,tendance2,col="red")

NA
NA

Affichage du modèle de Buys Ballot


Buys_ballot_plot <- plot(data_ts,
                         main = "Application du modèle de Buys_Ballot",
                         xlab = "Années",
                         ylab = "Nombre de Voyageurs") 



#prédiction du modèle de Buys ballot
lines(Annees,tendance+prediction2,col="blue",lwd=2)

#Interval de confiance
 polygon(c(AnneeMoisNumeric,rev(AnneeMoisNumeric)),
 c(tendance2+Prediction3-1.96*sqrt(var(ResidusRegression2)),
 rev(tendance2+Prediction3+1.96*sqrt(var(ResidusRegression2)))),
 col="cadetblue1",border=NA)
 
 #Prediction des valeurs
 lines(AnneeMoisNumeric,tendance2+Prediction3,col="blue",lwd=2)
 
 
 lines(data_ts_test,col="black",lwd=3)

Affichage de la prédiction sur les 8 mois de 2020


Buys_ballot_plot <- plot(data_ts_test,
                         main = "Application du modèle de Buys_Ballot",
                         xlab = "Années",
                         ylab = "Nombre de Voyageurs") 



#prédiction du modèle de Buys ballot
lines(Annees,tendance+prediction2,col="blue",lwd=2)

#Interval de confiance
 polygon(c(AnneeMoisNumeric,rev(AnneeMoisNumeric)),
 c(tendance2+Prediction3-1.96*sqrt(var(ResidusRegression2)),
 rev(tendance2+Prediction3+1.96*sqrt(var(ResidusRegression2)))),
 col="cadetblue1",border=NA)
 
 #Prediction des valeurs
 lines(AnneeMoisNumeric,tendance2+Prediction3,col="blue",lwd=2)
 
 
 lines(data_ts_test,col="black",lwd=3)

Nous avons réussi à ajuster une droite de régression. on remarque que la prédiction semble bien correspondre à la réalité si on fait abstraction du dernier mois où le nombre de voyageurs a bien plus chuté que la prédiction du modèle de Buys-Balot.

Comparons avec un ajustement local réalisé par lissage moyennes mobiles.

Comparaison avec les valeurs observées

Lissage moyenne mobile

Définition

Mettre belle formule en latex ici

Choix Moyenne mobiles

Conservation & Annulation

Lissage exponentielle

Lissage simple

fcst_se <- ses(data_ts_train, h = 8)
print(summary(fcst_se))

Forecast method: Simple exponential smoothing

Model Information:
Simple exponential smoothing 

Call:
 ses(y = data_ts_train, h = 8) 

  Smoothing parameters:
    alpha = 0.2559 

  Initial states:
    l = 258126.0245 

  sigma:  31480.96

     AIC     AICc      BIC 
2430.727 2430.988 2438.420 

Error measures:
                   ME     RMSE      MAE      MPE     MAPE     MASE      ACF1
Training set 7057.127 31151.31 25752.89 1.326234 7.684321 1.002462 0.0711143

Forecasts:
checkresiduals(fcst_se)

    Ljung-Box test

data:  Residuals from Simple exponential smoothing
Q* = 144.66, df = 17, p-value < 2.2e-16

Model df: 2.   Total lags used: 19

plot(fcst_se)
lines(data_ts_test, col="red")



df_se = as.data.frame(fcst_se)
predict_value_se <- df_se$`Point Forecast`
MAPE(predict_value_se, data_ts_test)*100
[1] 7.658334

Optimisation du modèle

Fit Exponential Smoothing model -> trouve le meilleur lissage expo

fit_ets <- ets(data_ts_train) 
print(summary(fit_ets))
ETS(A,A,A) 

Call:
 ets(y = data_ts_train) 

  Smoothing parameters:
    alpha = 0.1568 
    beta  = 1e-04 
    gamma = 1e-04 

  Initial states:
    l = 248267.1099 
    b = 2163.3982 
    s = -17928.3 -29535.73 9295.935 11005.81 -57117.85 -7708.17
           38272.64 14592.34 16899.53 34763.15 -7344.204 -5195.15

  sigma:  11014.45

     AIC     AICc      BIC 
2241.611 2249.458 2285.205 

Training set error measures:
                    ME     RMSE      MAE        MPE     MAPE      MASE       ACF1
Training set -458.6799 10054.77 7831.554 -0.2623253 2.371375 0.3048527 0.09626331
checkresiduals(fit_ets)

    Ljung-Box test

data:  Residuals from ETS(A,A,A)
Q* = 7.1794, df = 3, p-value = 0.06639

Model df: 16.   Total lags used: 19

fcst_ets <- forecast(fit_ets, h=8)
plot(fcst_ets)
lines(data_ts_test, col="red")



df_ets = as.data.frame(fcst_ets)
predict_value_ets = df_ets$`Point Forecast`
MAPE(predict_value_ets, data_ts_test)*100
[1] 3.005848

Modèle Arima Automatique

# retourne les meilleurs paramètres 
# d=1 enleve la tendance
# D=1 enleve la saisonnalité 
# => avoir des données stationnaires
# trace : voir les résultats
fit_arima <- auto.arima(data_ts_train, d=1, D=1, stepwise = FALSE, approximation = FALSE, trace=TRUE)

 ARIMA(0,1,0)(0,1,0)[12]                    : 1846.398
 ARIMA(0,1,0)(0,1,1)[12]                    : 1833.134
 ARIMA(0,1,0)(0,1,2)[12]                    : 1835.211
 ARIMA(0,1,0)(1,1,0)[12]                    : 1833.056
 ARIMA(0,1,0)(1,1,1)[12]                    : 1835.09
 ARIMA(0,1,0)(1,1,2)[12]                    : Inf
 ARIMA(0,1,0)(2,1,0)[12]                    : 1835.207
 ARIMA(0,1,0)(2,1,1)[12]                    : 1837.012
 ARIMA(0,1,0)(2,1,2)[12]                    : 1836.461
 ARIMA(0,1,1)(0,1,0)[12]                    : 1814.951
 ARIMA(0,1,1)(0,1,1)[12]                    : 1801.155
 ARIMA(0,1,1)(0,1,2)[12]                    : 1803.362
 ARIMA(0,1,1)(1,1,0)[12]                    : 1803.592
 ARIMA(0,1,1)(1,1,1)[12]                    : 1803.361
 ARIMA(0,1,1)(1,1,2)[12]                    : Inf
 ARIMA(0,1,1)(2,1,0)[12]                    : 1805.004
 ARIMA(0,1,1)(2,1,1)[12]                    : 1805.397
 ARIMA(0,1,1)(2,1,2)[12]                    : Inf
 ARIMA(0,1,2)(0,1,0)[12]                    : 1816.915
 ARIMA(0,1,2)(0,1,1)[12]                    : 1803.033
 ARIMA(0,1,2)(0,1,2)[12]                    : 1805.296
 ARIMA(0,1,2)(1,1,0)[12]                    : 1805.702
 ARIMA(0,1,2)(1,1,1)[12]                    : 1805.295
 ARIMA(0,1,2)(1,1,2)[12]                    : Inf
 ARIMA(0,1,2)(2,1,0)[12]                    : 1807.026
 ARIMA(0,1,2)(2,1,1)[12]                    : 1807.441
 ARIMA(0,1,3)(0,1,0)[12]                    : 1817.787
 ARIMA(0,1,3)(0,1,1)[12]                    : Inf
 ARIMA(0,1,3)(0,1,2)[12]                    : Inf
 ARIMA(0,1,3)(1,1,0)[12]                    : Inf
 ARIMA(0,1,3)(1,1,1)[12]                    : Inf
 ARIMA(0,1,3)(2,1,0)[12]                    : Inf
 ARIMA(0,1,4)(0,1,0)[12]                    : 1820.052
 ARIMA(0,1,4)(0,1,1)[12]                    : Inf
 ARIMA(0,1,4)(1,1,0)[12]                    : Inf
 ARIMA(0,1,5)(0,1,0)[12]                    : Inf
 ARIMA(1,1,0)(0,1,0)[12]                    : 1825.579
 ARIMA(1,1,0)(0,1,1)[12]                    : 1812.512
 ARIMA(1,1,0)(0,1,2)[12]                    : 1814.657
 ARIMA(1,1,0)(1,1,0)[12]                    : 1813.2
 ARIMA(1,1,0)(1,1,1)[12]                    : 1814.614
 ARIMA(1,1,0)(1,1,2)[12]                    : 1816.192
 ARIMA(1,1,0)(2,1,0)[12]                    : 1815.227
 ARIMA(1,1,0)(2,1,1)[12]                    : Inf
 ARIMA(1,1,0)(2,1,2)[12]                    : 1817.796
 ARIMA(1,1,1)(0,1,0)[12]                    : 1816.841
 ARIMA(1,1,1)(0,1,1)[12]                    : 1802.853
 ARIMA(1,1,1)(0,1,2)[12]                    : 1805.117
 ARIMA(1,1,1)(1,1,0)[12]                    : 1805.653
 ARIMA(1,1,1)(1,1,1)[12]                    : Inf
 ARIMA(1,1,1)(1,1,2)[12]                    : Inf
 ARIMA(1,1,1)(2,1,0)[12]                    : Inf
 ARIMA(1,1,1)(2,1,1)[12]                    : Inf
 ARIMA(1,1,2)(0,1,0)[12]                    : 1819.234
 ARIMA(1,1,2)(0,1,1)[12]                    : 1805.22
 ARIMA(1,1,2)(0,1,2)[12]                    : 1807.539
 ARIMA(1,1,2)(1,1,0)[12]                    : 1807.381
 ARIMA(1,1,2)(1,1,1)[12]                    : 1807.538
 ARIMA(1,1,2)(2,1,0)[12]                    : 1808.925
 ARIMA(1,1,3)(0,1,0)[12]                    : 1820.05
 ARIMA(1,1,3)(0,1,1)[12]                    : 1806.055
 ARIMA(1,1,3)(1,1,0)[12]                    : 1808.732
 ARIMA(1,1,4)(0,1,0)[12]                    : Inf
 ARIMA(2,1,0)(0,1,0)[12]                    : 1824.435
 ARIMA(2,1,0)(0,1,1)[12]                    : 1811.07
 ARIMA(2,1,0)(0,1,2)[12]                    : 1813.287
 ARIMA(2,1,0)(1,1,0)[12]                    : 1811.619
 ARIMA(2,1,0)(1,1,1)[12]                    : 1813.247
 ARIMA(2,1,0)(1,1,2)[12]                    : Inf
 ARIMA(2,1,0)(2,1,0)[12]                    : 1813.821
 ARIMA(2,1,0)(2,1,1)[12]                    : 1815.872
 ARIMA(2,1,1)(0,1,0)[12]                    : Inf
 ARIMA(2,1,1)(0,1,1)[12]                    : Inf
 ARIMA(2,1,1)(0,1,2)[12]                    : Inf
 ARIMA(2,1,1)(1,1,0)[12]                    : Inf
 ARIMA(2,1,1)(1,1,1)[12]                    : Inf
 ARIMA(2,1,1)(2,1,0)[12]                    : Inf
 ARIMA(2,1,2)(0,1,0)[12]                    : Inf
 ARIMA(2,1,2)(0,1,1)[12]                    : Inf
 ARIMA(2,1,2)(1,1,0)[12]                    : Inf
 ARIMA(2,1,3)(0,1,0)[12]                    : Inf
 ARIMA(3,1,0)(0,1,0)[12]                    : 1823.646
 ARIMA(3,1,0)(0,1,1)[12]                    : 1808.49
 ARIMA(3,1,0)(0,1,2)[12]                    : 1810.542
 ARIMA(3,1,0)(1,1,0)[12]                    : 1808.594
 ARIMA(3,1,0)(1,1,1)[12]                    : 1810.321
 ARIMA(3,1,0)(2,1,0)[12]                    : 1810.708
 ARIMA(3,1,1)(0,1,0)[12]                    : Inf
 ARIMA(3,1,1)(0,1,1)[12]                    : Inf
 ARIMA(3,1,1)(1,1,0)[12]                    : Inf
 ARIMA(3,1,2)(0,1,0)[12]                    : Inf
 ARIMA(4,1,0)(0,1,0)[12]                    : 1823.996
 ARIMA(4,1,0)(0,1,1)[12]                    : 1810.199
 ARIMA(4,1,0)(1,1,0)[12]                    : 1810.845
 ARIMA(4,1,1)(0,1,0)[12]                    : Inf
 ARIMA(5,1,0)(0,1,0)[12]                    : 1825.055



 Best model: ARIMA(0,1,1)(0,1,1)[12]                    
print(summary(fit_arima))
Series: data_ts_train 
ARIMA(0,1,1)(0,1,1)[12] 

Coefficients:
          ma1     sma1
      -0.7675  -0.5465
s.e.   0.0977   0.1295

sigma^2 = 138827719:  log likelihood = -897.43
AIC=1800.85   AICc=1801.16   BIC=1808.11

Training set error measures:
                   ME     RMSE      MAE       MPE     MAPE      MASE       ACF1
Training set 805.2378 10822.93 7747.841 0.2158443 2.213481 0.3015941 0.03453594
checkresiduals(fit_arima)

    Ljung-Box test

data:  Residuals from ARIMA(0,1,1)(0,1,1)[12]
Q* = 10.898, df = 17, p-value = 0.8618

Model df: 2.   Total lags used: 19

fcst_arima <- forecast(fit_arima, h=8)
plot(fcst_arima)
lines(data_ts_test, col='red')



df_arima = as.data.frame(fcst_arima)
predict_value_arima = df_arima$`Point Forecast`
MAPE(predict_value_arima, data_ts_test)*100
[1] 2.814135
LS0tDQp0aXRsZTogfA0KICANCmF1dGhvcjogDQotIENsb3ZpcyBEZWxldHJlDQotIENoYXJsZXMgVml0cnkNCmRhdGU6DQpvdXRwdXQ6DQogIGh0bWxfbm90ZWJvb2s6DQogICAgdGhlbWU6IGNlcnVsZWFuDQogICAgbnVtYmVyX3NlY3Rpb25zOiBubw0KICAgIHRvYzogeWVzDQogICAgdG9jX2Zsb2F0OiB0cnVlDQplZGl0b3Jfb3B0aW9uczogDQogIG1hcmtkb3duOiANCiAgICB3cmFwOiA3Mg0KLS0tDQoNCmBgYHs9aHRtbH0NCjxzdHlsZSB0eXBlPSJ0ZXh0L2NzcyI+DQoNCmJvZHl7IC8qIE5vcm1hbCAgKi8NCiAgICAgIGZvbnQtc2l6ZTogMjBweDsNCiAgfQ0KdGQgeyAgLyogVGFibGUgICovDQogIGZvbnQtc2l6ZTogOHB4Ow0KfQ0KaDEudGl0bGUgew0KICBmb250LXNpemU6IDU1cHg7DQogIGNvbG9yOiBEYXJrQmx1ZTsNCn0NCmgxIHsgLyogSGVhZGVyIDEgKi8NCiAgZm9udC1zaXplOiAzOHB4Ow0KICBjb2xvcjogRGFya0JsdWU7DQp9DQpoMiB7IC8qIEhlYWRlciAyICovDQogICAgZm9udC1zaXplOiAyOHB4Ow0KICBjb2xvcjogRGFya0JsdWU7DQp9DQpoMyB7IC8qIEhlYWRlciAzICovDQogIGZvbnQtc2l6ZTogMzVweDsNCiAgZm9udC1mYW1pbHk6ICJUaW1lcyBOZXcgUm9tYW4iLCBUaW1lcywgc2VyaWY7DQogIGNvbG9yOiBEYXJrQmx1ZTsNCn0NCmNvZGUucnsgLyogQ29kZSBibG9jayAqLw0KICAgIGZvbnQtc2l6ZTogMTJweDsNCn0NCnByZSB7IC8qIENvZGUgYmxvY2sgLSBkZXRlcm1pbmVzIGNvZGUgc3BhY2luZyBiZXR3ZWVuIGxpbmVzICovDQogICAgZm9udC1zaXplOiAxNHB4Ow0KfQ0KPC9zdHlsZT4NCmBgYA0KYGBge3Igc2V0dXAsIGluY2x1ZGU9RkFMU0V9DQprbml0cjo6b3B0c19jaHVuayRzZXQoZWNobyA9IFRSVUUpDQoNCnNvdXJjZSgiRm9uY3Rpb25zLlIiLCBsb2NhbCA9IGtuaXRyOjprbml0X2dsb2JhbCgpKQ0KDQojaW5zdGFsbCBmb3IgZXhwb3J0IGluIHBkZiBmaWxlDQojdGlueXRleDo6aW5zdGFsbF90aW55dGV4KCkNCmBgYA0KDQo8YnI+IDwvYnI+DQoNCmBgYHtyIGluY2x1ZGU9RkFMU0V9DQppZighcmVxdWlyZShmb3JlY2FzdCkpIGluc3RhbGwucGFja2FnZXMoInRtIiwgcmVwb3MgPSAiaHR0cDovL2NyYW4udXMuci1wcm9qZWN0Lm9yZyIpDQpyZXF1aXJlKGZvcmVjYXN0KQ0KDQppZighcmVxdWlyZShmcHAyKSkgaW5zdGFsbC5wYWNrYWdlcygidG0iLCByZXBvcyA9ICJodHRwOi8vY3Jhbi51cy5yLXByb2plY3Qub3JnIikNCnJlcXVpcmUoZnBwMikNCg0KaWYoIXJlcXVpcmUoTUxtZXRyaWNzKSkgaW5zdGFsbC5wYWNrYWdlcygidG0iLCByZXBvcyA9ICJodHRwOi8vY3Jhbi51cy5yLXByb2plY3Qub3JnIikNCnJlcXVpcmUoTUxtZXRyaWNzKQ0KDQppZighcmVxdWlyZShnZ3Bsb3QyKSkgaW5zdGFsbC5wYWNrYWdlcygidG0iLCByZXBvcyA9ICJodHRwOi8vY3Jhbi51cy5yLXByb2plY3Qub3JnIikNCnJlcXVpcmUoZ2dwbG90MikNCg0KaWYoIXJlcXVpcmUoZnBwMikpIGluc3RhbGwucGFja2FnZXMoInRtIiwgcmVwb3MgPSAiaHR0cDovL2NyYW4udXMuci1wcm9qZWN0Lm9yZyIpDQpyZXF1aXJlKGZwcDIpDQoNCmlmKCFyZXF1aXJlKFRTc3R1ZGlvKSkgaW5zdGFsbC5wYWNrYWdlcygidG0iLCByZXBvcyA9ICJodHRwOi8vY3Jhbi51cy5yLXByb2plY3Qub3JnIikNCnJlcXVpcmUoVFNzdHVkaW8pDQpgYGANCg0KIyBJbnRyb2R1Y3Rpb24NCg0KTm91cyBzb3VoYWl0b25zIHLDqWFsaXPDqSBsJyoqw6l0dWRlIGQndW5lIHPDqXJpZSB0ZW1wb3JlbGxlKiogZXQgZmFpcmUgZGVzDQpwcsOpdmlzaW9ucyBzdXIgY2VsbGUtY2kuDQoNCkNldHRlIHPDqXJpZSB0ZW1wb3JlbGxlIGVzdCBsZSB0cmFmaWMgbWVuc3VlbCBkJ3VuZSBDb21wYWduaWUgYcOpcmllbm5lIGRlDQpqYW52aWVyIDIwMTEgw6AgYW/Du3QgMjAxOS4NCg0KTm9zIHByw6l2aXNpb25zIHBvcnRlbnQgc3VyIGxlcyA4IG1vaXMgZGUgbCdhbm7DqWUgMjAxOQ0KDQojIFJlcHLDqXNlbnRhdGlvbiBncmFwaGlxdWUgZGUgbGEgc8OpcmllLg0KDQojIyBJbXBvcnQgZGVzIGRvbm7DqWVzDQoNCkltcG9ydCBkZSBsYSBiYXNlLCBvbiBzw6lsZWN0aW9ubmUgbGEgY29sb25uZSBkZXMgdmFsZXVycw0KDQpgYGB7cn0NCmxpYnJhcnkocmVhZHIpDQpkYXRhIDwtIHJlYWRfZGVsaW0oIlRyYWZpYy12b3lhZ2V1cnMuY3N2IiwgDQogICAgZGVsaW0gPSAiOyIsIGxvY2FsZSA9IGxvY2FsZShlbmNvZGluZyA9ICJJU08tODg1OS0xIikpDQpgYGANCg0KYGBge3J9DQpzdW1tYXJ5KGRhdGEpDQpgYGANCg0KYGBge3J9DQpkYXRhX3ZhbHVlIDwtIGRhdGFbLDJdDQpgYGANCg0KIyMgQWZmaWNoYWdlDQoNCkNyw6lhdGlvbiBkZSBsYSBzw6lyaWUgY2hyb25vbG9naXF1ZSA6DQoNCmBgYHtyfQ0KbGlicmFyeShUU3N0dWRpbykNCmRhdGFfdHMgPC0gdHMoZGF0YV92YWx1ZSwgc3RhcnQ9MjAxMSwgZnJlcXVlbmN5PTEyKQ0KcGxvdF8xX1RpbWVTZXJpZXMoZGF0YV90cykNCmBgYA0KDQojIyBTw6lwYXJhdGlvbiBqZXUgZGUgZG9ubsOpZXMNCg0KYGBge3J9DQojcmV2b2lyIGwgYWZmaWNoYWdlIGNhciBjYSBwcmVuZCBwYXMgZW4gY29tcHRlIHR0IDIwMTkNCmRhdGFfdHNfdHJhaW4gPC0gd2luZG93KGRhdGFfdHMsIHN0YXJ0ID0gYygyMDExLCAxKSwgZW5kID0gYygyMDE4LDEyKSkNCmRhdGFfdHNfdGVzdCA8LSB3aW5kb3coZGF0YV90cywgc3RhcnQ9IGMoMjAxOSwxKSwgZW5kID0gYygyMDE5LDgpKQ0KDQpwbG90KGRhdGFfdHMsIHhsaW09YygyMDExLDIwMjApKQ0KbGluZXMoZGF0YV90c190ZXN0LCBjb2w9MykNCmxlZ2VuZCgidG9wbGVmdCIsIGx0eSA9IDEsIGNvbD1jKDEsMyksIGxlZ2VuZD1jKCJTw6lyaWUgY2hyb25vbG9naXF1ZSBUcmFpbiIsICJTw6lyaWUgY2hyb25vbG9naXF1ZSBUZXN0IikpDQpgYGANCg0KLT4gc3Ryb25nIHRyZW5kIC0+IHBhdGVybiBxdWkgc2UgcmVwZXRlLCBzYWlzb25uYWxpdMOpID8NCg0KIyMgUmVwcsOpc2VudGF0aW9uIGRlIGxhIHNhaXNvbm5hbGl0w6kNCg0KQW5hbHlzZSBkZSBsYSBzYWlzb25uYWxpdMOpIGVuIHN1cGVycG9zYW50IGNoYXF1ZSBhbm7DqWUgKHBhciBtb2lzKToNCg0KLT4gZW4gc3VwcHJpbWFudCBsYSB0ZW5kYW5jZSBvbiB2b2l0IGJpZW4gbGEgc2Fpc29ubmFsaXTDqSA9Pg0Kc2Fpc29ubmFsaXTDqSByw6lndWxpw6hyZQ0KDQpgYGB7cn0NCmdnc2Vhc29ucGxvdChkYXRhX3RzKQ0KZGF0YV90c193aXRob3V0X3RyZW5kID0gZGlmZihkYXRhX3RzKQ0KZ2dzZWFzb25wbG90KGRhdGFfdHNfd2l0aG91dF90cmVuZCkNCmBgYA0KDQojIyBSZXByw6lzZW50YXRpb24gZGVzIGTDqWNvbXBvc2l0aW9ucyBwb3NzaWJsZXMNCg0KREVDT01QT1NJVElPTiA6IGFkZGl0aXZlIC8gTXVsdGlwbGljYXRpdmUgVHMgPSBUcmVuZCArIFNlYXNvbmFsICsgUmFuZG9tDQovIFRzID0gVHJlbmQgXCogU2Vhc29uYWwgXCogUmFuZG9tDQoNCmBgYHtyfQ0KZGVjb21wb3NlZF9kYXRhIDwtIGRlY29tcG9zZShkYXRhX3RzX3RyYWluLCB0eXBlPSJhZGRpdGl2ZSIpDQpwbG90KGRlY29tcG9zZWRfZGF0YSR0cmVuZCkNCnBsb3QoZGVjb21wb3NlZF9kYXRhJHNlYXNvbmFsKQ0KcGxvdChkZWNvbXBvc2VkX2RhdGEkcmFuZG9tKQ0KDQpib3hwbG90KGRhdGFfdHMgfiBjeWNsZShkYXRhX3RzKSkNCmBgYA0KDQotPiBvbiBkaXN0aW5ndWUgZGVzIHNhaXNvbm5hbGl0w6lzID0+IGZhaXJlIHLDqWdyZXNzaW9uIGNhIG4nYSBwYXMgZGUgc2Vucw0KPT4gbW9kw6hsZSBkZSBCdXlzIEJhbGxvdA0KDQotPiBib25uZSByZXBhcnRpdGlvbiBkdSBicnVpdCAtPiBxdWVscXVlcyBvdXRsaWVycw0KDQpgYGB7cn0NCmNoZWNrcmVzaWR1YWxzKHJlbWFpbmRlcihkZWNvbXBvc2VkX2RhdGEpKQ0KYGBgDQoNCk9uIGEgdGVuZGFuY2VzICsgc2Fpc29ubmFsaXTDqQ0KDQoNCiMgTW9kw6hsZXMgZXNwYWNlLcOpdGF0DQoNCi0gICBtZWFuZiA6IEF2ZXJhZ2UgTWV0aG9kIDogcHJlbmQgbGEgdmFsZXVyIG1veWVubmUgZGUgdG91dGUgbGVzDQogICAgb2JzZXJ2YXRpb25zIHBvdXIgdG91dGVzIGxlcyBwcsOpZGljdGlvbnMsDQotICAgbmFpdmUgOiBOYWl2ZSBNZXRob2QgOiBwcmVuZCBsYSBkZXJuacOocmUgb2JzZXJ2YXRpb24gcG91ciB0b3V0ZXMgbGVzDQogICAgcHLDqWRpY3Rpb25zLA0KLSAgIGRyaWZ0IDogRHJpZnQgTWV0aG9kIDogcHJlbmQgbGEgcHJlbWnDqHJlIGV0IGxhIGRlcm5pw6hyZSBvYnNlcnZhdGlvbnMNCiAgICBldCB0cmFjZSB1bmUgbGlnbmVzIGVudHJlIGxlcyBkZXV4LCBvbiB1dGlsaXNlIGxhIGNvdXJiZSBwb3VyIGxlcw0KICAgIHByw6lkaWN0aW9ucywNCi0gICBzbmFpdmUgOiBTZWFzb25hbCBOYWl2ZSBGb3JlY2FzdCA6IFByZW5kIGxhIGRlcm5pw6hyZSB2YWxldXIgZGUgbGENCiAgICBzYWlzb24gcHLDqWPDqWRlbnRlIGNvbW1lIHByw6lkaWN0aW9uIChleCA6IHNlcHQgMjAxOCA9IHNlcCAyMDE5ICsNCiAgICBlcnJldXIpDQoNCmBgYHtyfQ0KbGlicmFyeShmb3JlY2FzdCkNCm1lYW4gPC0gbWVhbmYoZGF0YV90c190cmFpbiwgaD04KQ0KbmFpdmVtIDwtIG5haXZlKGRhdGFfdHNfdHJhaW4sIGg9OCkNCmRyaWZ0bSA8LSByd2YoZGF0YV90c190cmFpbiwgaD04LCBkcmlmPVQpDQpzbmFpdmVtIDwtIHNuYWl2ZShkYXRhX3RzX3RyYWluLCBoPTgpDQpgYGANCg0KYGBge3J9DQpwbG90KG1lYW4sIHBsb3QuY29uZiA9IEYsIG1haW49IiIpDQpsaW5lcyhuYWl2ZW0kbWVhbiwgY29sPTIsIGx0eT0xKQ0KbGluZXMoZHJpZnRtJG1lYW4sIGNvbD01LCBsdHk9MSkNCmxpbmVzKHNuYWl2ZW0kbWVhbiwgY29sID0gNCwgbHR5PTEpDQpsZWdlbmQoInRvcGxlZnQiLCBsdHk9MSwgY29sPWMoMSwyLDMsNCksIGxlZ2VuZD1jKCJNZWFuIE1ldGhvZCIsICJOYWl2ZSBNZXRob2QiLCAiRHJpZiBNZXRob2QiLCAiU2Vhc29uYWwgTmFpdmUiKSkNCg0KDQojY29tcGFyYWlzb24gOg0KcGxvdChzbmFpdmVtLCBwbG90LmNvbmYgPSBGLCBtYWluPSIiKQ0KbGluZXMoZGF0YV90c190ZXN0LCBjb2wgPSA2LCBsdHk9MSwgbHdkPTMpDQoNCnBsb3QoZHJpZnRtLCBwbG90LmNvbmYgPSBGLCBtYWluPSIiKQ0KbGluZXMoZGF0YV90c190ZXN0LCBjb2wgPSA2LCBsdHk9MSwgbHdkPTMpDQoNCmBgYA0KDQpPbiByZWdhcmRlIDogTUFFIDogTWVhbiBBYnNvbHV0ZSBFcnJvciA6IFJNU0UgOiBSb290IE1lYW4gU3F1YXJyZWQgRXJyb3INCg0KOiAgIE1BU0UgOiBNZWFuIEFic29sdXRlIFNjYWxlZCBFcnJvciA6IE1BUEUgOiBNZWFuIEFic29sdXRlIFBlcmNlbnRhZ2UNCiAgICBFcnJvciA6DQoNCnJlcyA9IHByZWQgLSB2YWwgTUFFID0gc3VtKGFicyhyZXMpKS9sZW5ndGgodmFsKSBSU1MgPSBzdW0ocmVzXF4yKSBNU0UgPQ0KUlNTL2xlbmd0aCh2YWwpIFJNU0UgPSBzcXJ0KE1TRSkNCg0KTGEgcGx1cyBwb3B1bGFpcmUgZXN0IGxhIE1BUEUNCg0KTUFQRSh5X3ByZWQsIHlfdHJ1ZSkNCg0KJE1BUEUgPSAoMS9uKSBcKiDOoyhcfGFjdHVhbCAtLSBmb3JlY2FzdFx8IC8gXHxhY3R1MGFsXHwpIFwqIDEwIA0KDQoiYSBNQVBFIHZhbHVlIG9mIDYlIG1lYW5zIHRoYXQgdGhlIGF2ZXJhZ2UgZGlmZmVyZW5jZSBiZXR3ZWVuIHRoZSBmb3JlY2FzdGVkDQp2YWx1ZSBhbmQgdGhlIGFjdHVhbCB2YWx1ZSBpcyA2JSINCg0KYGBge3J9DQpwcmludChzdW1tYXJ5KG1lYW4pKQ0KY2hlY2tyZXNpZHVhbHMobWVhbikNCmFjY3VyYWN5KG1lYW4sIGRhdGFfdHNfdGVzdCkNCg0KYGBgDQoNCmBgYHtyfQ0KcHJpbnQoc3VtbWFyeShuYWl2ZW0pKQ0KY2hlY2tyZXNpZHVhbHMobmFpdmVtKQ0KYWNjdXJhY3kobmFpdmVtLCBkYXRhX3RzX3Rlc3QpDQoNCmBgYA0KDQpgYGB7cn0NCnByaW50KHN1bW1hcnkoZHJpZnRtKSkNCmNoZWNrcmVzaWR1YWxzKGRyaWZ0bSkNCmFjY3VyYWN5KGRyaWZ0bSwgZGF0YV90c190ZXN0KQ0KDQpgYGANCg0KYGBge3J9DQpwcmludChzdW1tYXJ5KHNuYWl2ZW0pKQ0KY2hlY2tyZXNpZHVhbHMoc25haXZlbSkNCmFjY3VyYWN5KHNuYWl2ZW0sIGRhdGFfdHNfdGVzdCkNCg0KYGBgDQoNCg0KDQoNCiMgRXR1ZGUgZHUgTW9kw6hsZSBkZSBCdXlzLUJhbGxvdA0KDQojIyBNb2TDqGxlDQoNCjxodHRwczovL21wcmEudWIudW5pLW11ZW5jaGVuLmRlLzc3NzE4LzEvTVBSQV9wYXBlcl83NzcxOC5wZGY+IHBhZ2UgMTc1DQoNCkwnYXBwcm9jaGUgZGUgQlVZUy1CQUxMT1QgY29uc2lzdGUgw6AgaW50cm9kdWlyZSBkZXMgdmFyaWFibGVzDQppbmRpY2F0cmljZXMgY29ycmVzcG9uZGFudCDDoCBjaGFxdWUgc2Fpc29uIGTDqWZpbml0IHBhciBsZSBjeWNsZQ0KZCdvYnNlcnZhdGlvbi4gUG91ciBsZXMgZG9ubsOpZXMgdHJpbWVzdHJpZWxsZXMsIG9uIGludMOoZ3JlIDQgdmFyaWFibGVzDQppbmRpY2F0cmljZXMuIEV0IHBvdXIgbGVzIGRvbm7DqWVzIG1lbnN1ZWxsZXMsIG9uIGludMOoZ3JlIDEyIHZhcmlhYmxlcw0KaW5kaWNhdHJpY2VzLg0KDQpMZSBtb2TDqGxlIGRvaXQgYWxvcnMgw6p0cmUgZXN0aW3DqSAoc2FucyBjb25zdGFudGUpIGF2ZWMgY2VzIHZhcmlhYmxlcw0KaW5kaWNhdHJpY2VzLg0KDQojIyBQcsOpZGljdGlvbiBkZXMgdmFsZXVycyBkZSAyMDE5DQoNClByw6lwYXJhdGlvbiBkZXMgZG9ubsOpZXMuDQoNCmBgYHtyfQ0KQW5uZWVzPXRpbWUoZGF0YV90c190cmFpbikNCnRzX0RhdGFGcmFtZSA9ZGF0YS5mcmFtZSh0cmFmaWM9ZGF0YV90c190cmFpbixYPWFzLm51bWVyaWMoQW5uZWVzKSkNCmBgYA0KDQpDcsOpYXRpb24gZHUgbW9kw6hsZQ0KDQpgYGB7cn0NClJlZ3Jlc3Npb24gPC0gbG0odHJhZmljflgsZGF0YSA9IHRzX0RhdGFGcmFtZSkNCmBgYA0KDQokWHQgPSBadCArIFN0ICsgXG11IHQkDQoNCkxhIHRlbmRhbmNlIFByw6lkaWN0aW9uIHN1ciBsZXMgZG9ubsOpZXMgZnV0dXJzLg0KDQpgYGB7cn0NCnRlbmRhbmNlPXByZWRpY3QoUmVncmVzc2lvbikNCkFubmVlcz1hcy5udW1lcmljKEFubmVlcykNCkFubmVlTW9pc051bWVyaWM9c2VxKG1heChBbm5lZXMpKzEvMTIsbGVuZ3RoPTM2LGJ5PTEvMTIpICANCnRlbmRhbmNlMj1wcmVkaWN0KFJlZ3Jlc3Npb24sIG5ld2RhdGE9ZGF0YS5mcmFtZShYPUFubmVlTW9pc051bWVyaWMpKSANCmBgYA0KDQpgYGB7cn0NCnRzX0RhdGFGcmFtZSR0cmFmaWNfcmVzaWR1YWwgPC0gcmVzaWR1YWxzKFJlZ3Jlc3Npb24pDQpgYGANCg0KRMOpZmluaXNzb25zIGxlIG1vaXMNCg0KYGBge3J9DQp0c19EYXRhRnJhbWUkbW9pcyA8LSByb3VuZCh0c19EYXRhRnJhbWUkWCAtIHRydW5jKHRzX0RhdGFGcmFtZSRYKSxkaWdpdD00KQ0KYGBgDQoNCkNyw6lhdGlvbiBkdSAybmQgbW9kw6hsZSBhdmVjIGxlcyBtb2lzDQoNCmBgYHtyfQ0KUmVncmVzc2lvbjIgPWxtKHRyYWZpY19yZXNpZHVhbH4wK2FzLmZhY3Rvcihtb2lzKSxkYXRhPXRzX0RhdGFGcmFtZSkNCmBgYA0KDQpQcsOpZGljdGlvbiBkZSBsYSBzYWlzb25uYWxpdMOpDQoNCmBgYHtyfQ0KcHJlZGljdGlvbjIgPXByZWRpY3QoUmVncmVzc2lvbjIpDQpgYGANCg0KUHLDqWRpY3Rpb24gc3VyIGxlcyBtb2lzDQoNCmBgYHtyfQ0KTW9pc051bWVyaWM9IHJvdW5kKEFubmVlTW9pc051bWVyaWMgLSB0cnVuYyhBbm5lZU1vaXNOdW1lcmljDQogICAgICAgICAgICAgICAgICAgICApLDQpDQpQcmVkaWN0aW9uMyA9cHJlZGljdCggUmVncmVzc2lvbjIsIG5ld2RhdGE9IGRhdGEuZnJhbWUobW9pcz1Nb2lzTnVtZXJpYykpDQoNCmBgYA0KDQpDYWxjdWxvbnMgdW5lIHLDqWdpb24gZGUgY29uZmlhbmNlIGF2ZWMgbCdlcnJldXIgZCdhanVzdGVtZW50DQoNCmBgYHtyfQ0KUmVzaWR1c1JlZ3Jlc3Npb24yPXJlc2lkdWFscyhSZWdyZXNzaW9uMikNCmhpc3QoUmVzaWR1c1JlZ3Jlc3Npb24yKQ0KMS45NipzcXJ0KHZhcihSZXNpZHVzUmVncmVzc2lvbjIpKQ0KYGBgDQoNCkxlIGJydWl0IGVzdC1pbCBhdXRvIGNvcnLDqWzDqSA/DQoNCmBgYHtyfQ0KcGxvdChhY2YoUmVzaWR1c1JlZ3Jlc3Npb24yKSkNCmBgYA0KDQpBZmZpY2hhZ2UgZGUgbGEgdGVuZGFuY2UNCg0KYGBge3Igd2FybmluZz1GQUxTRX0NCkJ1eXNfYmFsbG90X3Bsb3RfdGVuZGFuY2UgPC0gcGxvdChkYXRhX3RzLA0KICAgICAgICAgICAgICAgICAgICAgICAgIG1haW4gPSAiQXBwbGljYXRpb24gZHUgbW9kw6hsZSBkZSBCdXlzX0JhbGxvdCIsDQogICAgICAgICAgICAgICAgICAgICAgICAgeGxhYiA9ICJBbm7DqWVzIiwNCiAgICAgICAgICAgICAgICAgICAgICAgICB5bGFiID0gIk5vbWJyZSBkZSBWb3lhZ2V1cnMiKSANCg0KI2Ryb2l0ZSBkZSB0ZW5kYW5jZQ0KbGluZXMoQW5uZWVzLHRlbmRhbmNlLGNvbD0iYmx1ZSIsbHdkPTIpICANCg0KI3Byw6lkaWN0aW9uIGRlIGxhIHRlbmRhbmNlIGZ1dHVyDQpsaW5lcyhBbm5lZU1vaXNOdW1lcmljLHRlbmRhbmNlMixjb2w9InJlZCIpDQoNCg0KYGBgDQoNCkFmZmljaGFnZSBkdSBtb2TDqGxlIGRlIEJ1eXMgQmFsbG90DQoNCmBgYHtyfQ0KDQpCdXlzX2JhbGxvdF9wbG90IDwtIHBsb3QoZGF0YV90cywNCiAgICAgICAgICAgICAgICAgICAgICAgICBtYWluID0gIkFwcGxpY2F0aW9uIGR1IG1vZMOobGUgZGUgQnV5c19CYWxsb3QiLA0KICAgICAgICAgICAgICAgICAgICAgICAgIHhsYWIgPSAiQW5uw6llcyIsDQogICAgICAgICAgICAgICAgICAgICAgICAgeWxhYiA9ICJOb21icmUgZGUgVm95YWdldXJzIikgDQoNCg0KDQojcHLDqWRpY3Rpb24gZHUgbW9kw6hsZSBkZSBCdXlzIGJhbGxvdA0KbGluZXMoQW5uZWVzLHRlbmRhbmNlK3ByZWRpY3Rpb24yLGNvbD0iYmx1ZSIsbHdkPTIpDQoNCiNJbnRlcnZhbCBkZSBjb25maWFuY2UNCiBwb2x5Z29uKGMoQW5uZWVNb2lzTnVtZXJpYyxyZXYoQW5uZWVNb2lzTnVtZXJpYykpLA0KIGModGVuZGFuY2UyK1ByZWRpY3Rpb24zLTEuOTYqc3FydCh2YXIoUmVzaWR1c1JlZ3Jlc3Npb24yKSksDQogcmV2KHRlbmRhbmNlMitQcmVkaWN0aW9uMysxLjk2KnNxcnQodmFyKFJlc2lkdXNSZWdyZXNzaW9uMikpKSksDQogY29sPSJjYWRldGJsdWUxIixib3JkZXI9TkEpDQogDQogI1ByZWRpY3Rpb24gZGVzIHZhbGV1cnMNCiBsaW5lcyhBbm5lZU1vaXNOdW1lcmljLHRlbmRhbmNlMitQcmVkaWN0aW9uMyxjb2w9ImJsdWUiLGx3ZD0yKQ0KIA0KIA0KIGxpbmVzKGRhdGFfdHNfdGVzdCxjb2w9ImJsYWNrIixsd2Q9MykNCmBgYA0KDQpBZmZpY2hhZ2UgZGUgbGEgcHLDqWRpY3Rpb24gc3VyIGxlcyA4IG1vaXMgZGUgMjAyMA0KDQpgYGB7cn0NCg0KQnV5c19iYWxsb3RfcGxvdCA8LSBwbG90KGRhdGFfdHNfdGVzdCwNCiAgICAgICAgICAgICAgICAgICAgICAgICBtYWluID0gIkFwcGxpY2F0aW9uIGR1IG1vZMOobGUgZGUgQnV5c19CYWxsb3QiLA0KICAgICAgICAgICAgICAgICAgICAgICAgIHhsYWIgPSAiQW5uw6llcyIsDQogICAgICAgICAgICAgICAgICAgICAgICAgeWxhYiA9ICJOb21icmUgZGUgVm95YWdldXJzIikgDQoNCg0KDQojcHLDqWRpY3Rpb24gZHUgbW9kw6hsZSBkZSBCdXlzIGJhbGxvdA0KbGluZXMoQW5uZWVzLHRlbmRhbmNlK3ByZWRpY3Rpb24yLGNvbD0iYmx1ZSIsbHdkPTIpDQoNCiNJbnRlcnZhbCBkZSBjb25maWFuY2UNCiBwb2x5Z29uKGMoQW5uZWVNb2lzTnVtZXJpYyxyZXYoQW5uZWVNb2lzTnVtZXJpYykpLA0KIGModGVuZGFuY2UyK1ByZWRpY3Rpb24zLTEuOTYqc3FydCh2YXIoUmVzaWR1c1JlZ3Jlc3Npb24yKSksDQogcmV2KHRlbmRhbmNlMitQcmVkaWN0aW9uMysxLjk2KnNxcnQodmFyKFJlc2lkdXNSZWdyZXNzaW9uMikpKSksDQogY29sPSJjYWRldGJsdWUxIixib3JkZXI9TkEpDQogDQogI1ByZWRpY3Rpb24gZGVzIHZhbGV1cnMNCiBsaW5lcyhBbm5lZU1vaXNOdW1lcmljLHRlbmRhbmNlMitQcmVkaWN0aW9uMyxjb2w9ImJsdWUiLGx3ZD0yKQ0KIA0KIA0KIGxpbmVzKGRhdGFfdHNfdGVzdCxjb2w9ImJsYWNrIixsd2Q9MykNCmBgYA0KDQpOb3VzIGF2b25zIHLDqXVzc2kgw6AgYWp1c3RlciB1bmUgZHJvaXRlIGRlIHLDqWdyZXNzaW9uLiBvbiByZW1hcnF1ZSBxdWUgbGENCnByw6lkaWN0aW9uIHNlbWJsZSBiaWVuIGNvcnJlc3BvbmRyZSDDoCBsYSByw6lhbGl0w6kgc2kgb24gZmFpdCBhYnN0cmFjdGlvbg0KZHUgZGVybmllciBtb2lzIG/DuSBsZSBub21icmUgZGUgdm95YWdldXJzIGEgYmllbiBwbHVzIGNodXTDqSBxdWUgbGENCnByw6lkaWN0aW9uIGR1IG1vZMOobGUgZGUgQnV5cy1CYWxvdC4NCg0KQ29tcGFyb25zIGF2ZWMgdW4gYWp1c3RlbWVudCBsb2NhbCByw6lhbGlzw6kgcGFyIGxpc3NhZ2UgbW95ZW5uZXMgbW9iaWxlcy4NCg0KIyMgQ29tcGFyYWlzb24gYXZlYyBsZXMgdmFsZXVycyBvYnNlcnbDqWVzDQoNCg0KDQoNCiMgTGlzc2FnZSBtb3llbm5lIG1vYmlsZQ0KDQojIyBEw6lmaW5pdGlvbg0KDQpNZXR0cmUgYmVsbGUgZm9ybXVsZSBlbiBsYXRleCBpY2kNCg0KIyMgQ2hvaXggTW95ZW5uZSBtb2JpbGVzDQoNCiMjIENvbnNlcnZhdGlvbiAmIEFubnVsYXRpb24NCg0KDQoNCg0KIyBMaXNzYWdlIGV4cG9uZW50aWVsbGUNCg0KIyMgTGlzc2FnZSBzaW1wbGUNCg0KYGBge3J9DQpmY3N0X3NlIDwtIHNlcyhkYXRhX3RzX3RyYWluLCBoID0gOCkNCnByaW50KHN1bW1hcnkoZmNzdF9zZSkpDQpjaGVja3Jlc2lkdWFscyhmY3N0X3NlKQ0KYGBgDQoNCmBgYHtyfQ0KcGxvdChmY3N0X3NlKQ0KbGluZXMoZGF0YV90c190ZXN0LCBjb2w9InJlZCIpDQoNCg0KZGZfc2UgPSBhcy5kYXRhLmZyYW1lKGZjc3Rfc2UpDQpwcmVkaWN0X3ZhbHVlX3NlIDwtIGRmX3NlJGBQb2ludCBGb3JlY2FzdGANCk1BUEUocHJlZGljdF92YWx1ZV9zZSwgZGF0YV90c190ZXN0KSoxMDANCmBgYA0KDQojIyBPcHRpbWlzYXRpb24gZHUgbW9kw6hsZQ0KDQpGaXQgRXhwb25lbnRpYWwgU21vb3RoaW5nIG1vZGVsIC0+IHRyb3V2ZSBsZSBtZWlsbGV1ciBsaXNzYWdlIGV4cG8NCg0KYGBge3J9DQpmaXRfZXRzIDwtIGV0cyhkYXRhX3RzX3RyYWluKSANCnByaW50KHN1bW1hcnkoZml0X2V0cykpDQpjaGVja3Jlc2lkdWFscyhmaXRfZXRzKQ0KDQoNCmBgYA0KDQpgYGB7cn0NCmZjc3RfZXRzIDwtIGZvcmVjYXN0KGZpdF9ldHMsIGg9OCkNCnBsb3QoZmNzdF9ldHMpDQpsaW5lcyhkYXRhX3RzX3Rlc3QsIGNvbD0icmVkIikNCg0KDQpkZl9ldHMgPSBhcy5kYXRhLmZyYW1lKGZjc3RfZXRzKQ0KcHJlZGljdF92YWx1ZV9ldHMgPSBkZl9ldHMkYFBvaW50IEZvcmVjYXN0YA0KTUFQRShwcmVkaWN0X3ZhbHVlX2V0cywgZGF0YV90c190ZXN0KSoxMDANCg0KYGBgDQoNCiMjIE1vZMOobGUgQXJpbWEgQXV0b21hdGlxdWUNCg0KYGBge3J9DQojIHJldG91cm5lIGxlcyBtZWlsbGV1cnMgcGFyYW3DqHRyZXMgDQojIGQ9MSBlbmxldmUgbGEgdGVuZGFuY2UNCiMgRD0xIGVubGV2ZSBsYSBzYWlzb25uYWxpdMOpIA0KIyA9PiBhdm9pciBkZXMgZG9ubsOpZXMgc3RhdGlvbm5haXJlcw0KIyB0cmFjZSA6IHZvaXIgbGVzIHLDqXN1bHRhdHMNCmZpdF9hcmltYSA8LSBhdXRvLmFyaW1hKGRhdGFfdHNfdHJhaW4sIGQ9MSwgRD0xLCBzdGVwd2lzZSA9IEZBTFNFLCBhcHByb3hpbWF0aW9uID0gRkFMU0UsIHRyYWNlPVRSVUUpDQpwcmludChzdW1tYXJ5KGZpdF9hcmltYSkpDQpjaGVja3Jlc2lkdWFscyhmaXRfYXJpbWEpDQpgYGANCg0KYGBge3J9DQpmY3N0X2FyaW1hIDwtIGZvcmVjYXN0KGZpdF9hcmltYSwgaD04KQ0KcGxvdChmY3N0X2FyaW1hKQ0KbGluZXMoZGF0YV90c190ZXN0LCBjb2w9J3JlZCcpDQoNCg0KZGZfYXJpbWEgPSBhcy5kYXRhLmZyYW1lKGZjc3RfYXJpbWEpDQpwcmVkaWN0X3ZhbHVlX2FyaW1hID0gZGZfYXJpbWEkYFBvaW50IEZvcmVjYXN0YA0KTUFQRShwcmVkaWN0X3ZhbHVlX2FyaW1hLCBkYXRhX3RzX3Rlc3QpKjEwMA0KYGBgDQoNCmBgYHtyfQ0KDQpgYGANCg0KYGBge3J9DQoNCg0KYGBgDQo=